On the Sets Inhabited by Numbers
نویسنده
چکیده
The information that all members of a set enjoy a property expressed by an adjective can be processed in a systematic way. The purpose of the work is to find out how to do that. If it works, ‘membered’ will become a reserved word and the work with it will be automated. I have chosen membered rather than inhabited because of the compatibility with the Automath terminology. The phrase τ inhabits θ could be translated to τ is θ in Mizar.
منابع مشابه
On Lacunary Statistical Limit and Cluster Points of Sequences of Fuzzy Numbers
For any lacunary sequence $theta = (k_{r})$, we define the concepts of $S_{theta}-$limit point and $S_{theta}-$cluster point of a sequence of fuzzy numbers $X = (X_{k})$. We introduce the new sets $Lambda^{F}_{S_{theta}}(X)$, $Gamma^{F}_{S_{theta}}(X)$ and prove some inclusion relaions between these and the sets $Lambda^{F}_{S}(X)$, $Gamma^{F}_{S}(X)$ introduced in ~cite{Ayt:Slpsfn} by Aytar [...
متن کاملThe Contrapositive of Countable Choice for Inhabited Sets of Naturals
Within a fairly weak formal theory of numbers and number-theoretic sequences we give a direct proof of the contrapositive of countable finite choice for decidable predicates. Our proof is at the same time a proof of a stronger form of it. In that way we think that we improve a proof given by Diener and Schuster. Within the same theory we prove properties of inhabited sets of naturals satisfying...
متن کاملOn the edge geodetic and edge geodetic domination numbers of a graph
In this paper, we study both concepts of geodetic dominatingand edge geodetic dominating sets and derive some tight upper bounds onthe edge geodetic and the edge geodetic domination numbers. We also obtainattainable upper bounds on the maximum number of elements in a partitionof a vertex set of a connected graph into geodetic sets, edge geodetic sets,geodetic domin...
متن کاملOn generalized fuzzy numbers
This paper first improves Chen and Hsieh’s definition of generalized fuzzy numbers, which makes it the generalization of definition of fuzzy numbers. Secondly, in terms of the generalized fuzzy numbers set, we introduce two different kinds of orders and arithmetic operations and metrics based on the λ-cutting sets or generalized λ-cutting sets, so that the generalized fuzzy numbers are integrat...
متن کاملSoft Computing Based on a Modified MCDM Approach under Intuitionistic Fuzzy Sets
The current study set to extend a new VIKOR method as a compromise ranking approach to solve multiple criteria decision-making (MCDM) problems through intuitionistic fuzzy analysis. Using compromise method in MCDM problems contributes to the selection of an alternative as close as possible to the positive ideal solution and far away from the negative ideal solution, concurrently. Using Atanasso...
متن کامل